Short-Circuit Evaluation of Logical Expressions